par Devillers, Raymond ;Van Begin, Laurent
Référence Information processing letters, 99, 5, page (208-214)
Publication Publié, 2006-09
Référence Information processing letters, 99, 5, page (208-214)
Publication Publié, 2006-09
Article révisé par les pairs
Titre: |
|
Auteur: | Devillers, Raymond; Van Begin, Laurent |
Informations sur la publication: | Information processing letters, 99, 5, page (208-214) |
Statut de publication: | Publié, 2006-09 |
Sujet CREF: | Informatique appliquée logiciel |
Informatique générale | |
Informatique mathématique | |
Mots-clés: | Boundedness |
Concurrency | |
Decidability | |
Synchronized nets | |
Note générale: | SCOPUS: ar.j |
Langue: | Anglais |
Identificateurs: | urn:issn:0020-0190 |
info:doi/10.1016/j.ipl.2006.04.009 | |
info:pii/S0020019006001293 | |
info:scp/33745671097 |